WyC: working on adding propert support for parsing variable declarations that involve type patterns.