Warnings instead of error for bad decs, support where decs
support where translation in declarations
Support for guarded function bodies
Support for multiple pattern-match function defs
Better errors for unsupported features
Support for as-patterns
Fixed as patterns to work with multiple _ wildcards
Filled in more cases, better error messages