Addressing #3.

Refer to the requires clause.
Merge branch 'master' of github.com:cplusplus/concepts-ts