Add Attachment:DRY-198: Type rule for super field access should not invoke dryad-type-checker