fix!: Tidy up about Ord and Eq

[MikuroXina]

• fix!: Tidy up exports of eq and order
• Impl Ord for Frozen
• Impl PartialOrd for Number
• Impl Ord for String
• Add TupleN
• Impl Eq for Boolean
• Split PartialEq into another file
• Add fromProjection
• Split PartialOrd into another file
• Add fromProjection for PartialOrd and Ord
• Enforce converter
• Fix bool equality
• Use projection for Cat
• Use converter for Cofree
• Use converter for Free
• Use converter for Frozen
• Use projection for Lazy
• Use converter for Tuple
• Use converter for List
• Use converter for Option
• Use converter for Result
• Fix string cmp
• Fix TupleN cmp
• Use converter for Zipper
• Fix number cmp
• Make import path relative
• Sort imports