Dropped the Restricted things entirely as Checked now uses Equivalence.
Also added my first test for using the Explicitly DSL with TypeCheckedTripleEquals, and discovered
it doesn't work because of the usual need an actual implicit conversion problem. Added the one
implicit conversion needed for this for starters.