Requirements Clauses for Interface Definition

Learners will be able to enforce semantic requirements on template parameters beyond simple type checking.