WyC: working on removing some unnecessary constructs, such as "abstract dot" access, etc.
WyC: making progress tidying some aspects of the front-end.  Specifically, removing the notion of an abstract dot access altogether.