fact: Definition ConnectionSchema := Query Structure Schema [ relation sCONNECTIONS has schema <sID :: UUID, sSTATE :: State, sDOMAIN :: string, sMAILFROM :: string, sRCPTTO :: list string, sBODY :: string> ] enforcing [].
imports: Fiat.QueryStructure.Automation.AutoDB Fiat.QueryStructure.Implementation.DataStructures.BagADT.BagADT