Renamed Typed to Ascribe, to allow Typed to be a constructor for Pattern
Added Typed pattern constructor
Added pattern matching statement syntax
Added function (lambda) expression syntax