let term ?(loc=Lexing.dummy_pos, Lexing.dummy_pos) term typ = { term_node = term; term_type = typ; term_name = []; term_loc = loc }