WyC: yet more documentation!
WyC: working on parsing access expressions.