Working on template constraints.

- Needs examples for atomicity, simplification, and subsumption.
Reworking constrained types.
Rewrite constrained decls.
Fixing ref errors.