Hindley Mindler Type Checking

My goal is to produce a typechecking algorithm with a lexical analzyer and a syntactical analyzer. I have already produced the syntax analyzer, now I am just stuck on the type checking.