Type test: Add missing comas; add validation test for higher order functions.
Parse test: Thoroughly test simple patterns.
Ast test: Style fixes.
AST test: Test set inclusion for user-defined types.