Tim's journal

I got a simple, not-very-smart version of dependency graph generation working, just for types. Here's an example: ( Cut since not everyone likes to look at nodes and edges )