Refactor toplevel REPL
The adopted solution to #38 (closed) makes error manipulation in the proost toplevel cumbersome. I suggest to modify the general behaviour of the toplevel as described in the review of !36 (merged) mentioning this issue.
Edited by v-lafeychine