WyC: working through parsing of type patterns to include parsing intersection and union types.