WyC: have possibly completed fix for variable declarations that allows them to be used with type patterns.  However, I think there are still some problems here ...