TRIV: Delete accidental ref to non-existing function
Declare domains explicitly in the variable list of a specification
TRIV DOC
Add equivalence operator "<->" to spec language
Add "<" and ">" operators for variable and number comparisons
Add "<=", ">=", and "!=" operators.  No unit tests yet.

"<=" is "less than or equal to",
">=" is "greater than or equal to", and
"!=" is "not equal to".
Merge remote-tracking branch 'origin/nonboolean' into jit

Conflicts:
	Makefile
	common.h
	main.c