Add Hindley-Milner type inference.