More efficient method of adding attributes to record fields
Elaboration for protected types. Issue #71