WYCS: working on putting type patterns back.
WYCS: type patterns for quantifiers are now working (again).
WYCS: bug fix for attribute source file information to type patterns.
WYCS: working through test cases fixing them up.