WyC: possible fixes for parsing type patterns and catching duplicate variable names.