Objective-C Class Type Parameter Restriction using Protocols: A Robust Approach to Enforcing Criteria at Compile-Time