WyC: possible bug fix related to typing of field access expressions after the removal of the AbstractDotAccess.