Package finite - Namespaces

• Data.Finite
• Derive.Finite