Fixed constraint REPL printing. Fixes #55