WyC: well the new approach to type patterns now compiles, but doesn't appear to run.