WyC: continuing to update test cases now exposed as broken.
WyC: minor bug fix for parsing type patterns.
WyC: removed debugging code.
WyC: bug fix for parsing unit expressions and types.