WyC: still working through adding notion of type pattern; it's trickier than I thought, partly at least because the front-end is so messy.  I have to strongly resist the urge to rewrite the whole front-end right now, and focus on this single change.  But, the front-end's days are numbered...