Start to type check parse-ast