Implicit dereference for attributes of access types
Tweak to the way attribute references are parsed
Allow more general attribute references such as x.all'foo
Improvements to attribute reference checking
Add implicit dereference for X'Y where X has access type