Added rudimentary exception pattern-matching (case and catches)