More fixes

What do you think of this approach to removing the mention of type-requirement from the nested-requirement section?