This SRFI is intended to standardize a primitive run-time mechanism to create disjoint types.