fact: Definition Dog := TupleDef MySchema "Dog".
imports: Fiat.QueryStructure.Specification.Representation.QueryStructureNotations Fiat.QueryStructure.Implementation.ListImplementation ComputationalADT AddCache ADTCache CacheADT