Type inference now does something.

The output isn't readable enough to judge whether it works, and it doesn't
store the inferred information internally yet.