Interface Axiom.Datatype