A little toy compiler so I can play with type inference - View it on GitHub