Example of Multiple Type Binding

fix typo.
Constraint Programming over Multiple Finite Domain

created newly without class Enum.