WyC: added support for parsing "new" expressions.