rename Make to Make_discrete, some ocamldoc