Cosmetic changes
Added patterns to handle Lt and Sub constraints, and replace constants
with singleton variables (for debugging)
Removed println
Cosmetic changes. Evaluation is now constant.
Simplified code making use of value-aware methods in Domain. Might be a
bit slower due to additional Function references.
Replaced println with logger invocation
Updated for compatibility with Abscon parser