A toy Hindley-Milner type-inferencing algorithm implementation