decision_points: Add decisions and alternatives to the z3 encoding

 * Add functions for alternatives
 * Add constraint for elements in an alternative
 * Add decision constraints
 * Fix mayOnly not overridable through input properties
 * Fix model types inheriting from the wrong mavo uri