Added an example for Exception Case matching
Major rewrite to multiple modules. Passes must-tests.