WyC: working on the new parser.  In particular, thinking about types versus expressions.