Package betti - Namespaces

• BeTTI
• BeTTI.FunExt
• BeTTI.Quotient
• BeTTI.Quantifier