Smt sorts #
Cvc.Srt.Defs: mainSrttype and its basic features.Cvc.Srt.Types: helper types, injection ofSrtintoType.Cvc.Srt.Extra: injection ofTypeintoSrt, inverse of the injection ofSrtintoType; more helpers/features building on all the modules above.