Need to update specifications to allow access where needed.

Need to check we can invoke private nestmate methods, and access fields etc.

Need to check virtual vs non-virtual invocations modes.

Tests for the above (mirroring those already done for direct member accesses).