HM Type Checker for a subset of Mathematica