WyC: yet another fix for parsing type pattern records.