let a (n : int) : Types_unify.term = Atm(create_number n 0)