Contains @Deprecated functionality in conjunction with Assert and type transformations; will all be removed with 1.0.0
interface 
Defines the minimum set of assertion functions representing a type transformation, which an implementation of the domain of Atrium has to provide.  | 
val 
The access point to an implementation of AnyTypeTransformationAssertions.  |