should_equal now fails if either parameter is not ground
Initial draft of a REPL service