combines types.ml into semcheck.ml. symbol tableand type checking done here