Type check more of parse-ast