Constraints added to the feature model. Testing constraints in separate.
Adding symbols to constraints that work with implicit conversions. Small
fixes.