Tool to view inferred types

[eholk]

With type inference, it's sometimes surprising what types we end up with. We should add a tool that infers the types and then dumps out the types that Harlan found. We can probably get by with just listing top level defines and their types.