Generalize FlipUDSlice

Construct Coordinate records for product types.
Factor basic table generation
File storage wrapper
Facelet color conversion to Cubie error handling
Ensafe Facelet module
Haddock Cubie
Change function order in export list
Ensafe Cubie

Use `Control.Monad.mfilter`
Implement solvability test
Make more coherent namespace
Fix solvability test error
Update comment
Export solvable
Convert from any color representation

to @ColorFacelets@

Add Show and Eq instances for facelets representations
Move cubie indices list to Facelet
Comment
Fix Haddock comment
Clarify comment
Clarify comment (bis)
Use GADTs to wrap Coordinates of pairs