REPL.hs has now been updated to give decent error messages when thingserrors occur, and not to simply crash throw an exception and crash; it does not seem that it will crash now anymore. TODO: ehere there is a bug that has to do with popping elements: this always seems to give an error.