WyC: updated the way that type patterns work.