Translate from LustreAst.lustre_type to LustreType.t in type checking