See arXiv:1306.6032
This implementation focusses on readability and being able to follow the paper while reading the code.
Use the synth function to synthesize a Type from an Expression.
The process is traced through stdout, so that you can follow the rules invoked.
Basis of this implementation was the paper and implementations by Olle Fredriksson in Haskell and Albert ten Napel in TypeScript.