Added a polymorphic tree definition.
Added search strategy type definitions, matching the ones from FlatZinc specification.