Added implicit conversion from Equivalence to a TripleEqualsConstraint, to enable the Explicitly DSL
when === is used with TypeChecked(Legacy)TripleEquals.
Added implicit for ConversionChecked explicitly.
Added implicit conversion for ConversionCheckedLegacy for explicitly DSL.
Added convertEquivalenceToBToATypeConstraint to TripleEqualsConstraints.
Added tests that already passed, but use actual supertype/subtype or toType/fromType, for type and conversion checked explicitly DSL.
Added low-priority implicit conversion for TypeCheckedTripleEquals used with Explicitly.
Added test for TypeCheckedLegacy, using the same low priority implicit conversion I added previously for non-Legacy.
Added low-priority implicit conversion for Conversion checked triple equals used with the Explicitly DSL.
Added a test that already passed for low-priority conversion-checked legacy triple-equals used with the explicitly DSL.
Added low priority implicits to TripleEqualsConstraints and its subtypes.