Smt sorts

• Cvc.Srt.Defs: main Srt type and its basic features.
• Cvc.Srt.Types: helper types, injection of Srt into Type.
• Cvc.Srt.Extra: injection of Type into Srt, inverse of the injection of Srt into Type; more helpers/features building on all the modules above.