It will be great to control the activation for geometrical or dimensions restrictions based on rules like ilogic. For example, a tangent restriction is activated or not when some conditional appears, like a dimension or parameter.
These would help to develop kinematical analysis for linkages and mechanisms, before to use the Dynamic Simulation environment some times you will need a short 2D analysis....
Best regards