papers

Updates.

Updating

I think this is a good direction.

Some revisions, and a new rule.

CWG3150 type-based resolution.