Add syntax for mach.int.UInt32.{add_with_carry,add3,mul_double}
Set io.StdIO.{flushed,current_line,cur_pos,cur_linenum} ghost and remove the syntax
Comment codes which use UInt64
Mlw_exec.{mark_idents,is_exec_ident} should take a lsymbol instead of an ident