Should the constraint types be squirreled away in some deep, dark sub-namespace?