Use implicit conversion defs instead of mkBool
Move mutable env out into the REPL loop