Application evaluation updates

[patritzenfeld]

Currently the app just ends the terminal program if a rejection happens. Instead I can use a Monad stack with ExceptT to track rejections and still continue. This can then also be used to implement the new syntax and semantics split in the feedback.