Hindley-Milner algorithm
Moved section about MPS