atomgalaxy/wg21-defining-contracts-p2358

A WG21 paper making some more definitions for contracts papers.

Makefile