Finish operator tests, and fixed associated bugs
REPL printing is now nice, and constraints print with RHS. Fixes #18