exception Undefined_variable of (string * int)
exception Variable_in_body of (string * int)
exception Undefined_function of (string * int)
exception Function_call_mismatch of (string * int)
exception Double_fundef of (string * int)
exception Double_argdef of (string * int)
exception Type_mismatch