Adding protected members to Language Specification