WyC: type patterns for type declarations are now working.