let x (n : int) : Types_unify.term = Var(create_number n 0)