Fixes to build with 4.01.0

* Fixes lesson5 inexhaustive pattern-matching
* Fixes loop_at_exit