Separate module for the numeric sort.
Syntax bug fixes.
Constraint simplification.
Simple term abduction tests (failing).
Guess sorts from variable name when parsing.