WyC: added support for parsing element of (i.e. "in") expressions.