WyC: minor fix for parsing open type patterns.