---------------------------------------------------------------------------------------------
(CubePoints f1 f2 f3 f4 b1 b2 b3 b4) +++ (BottomFace b1b   f1b b4b f4b) =
   (BottomFace {b1=b1b, b4=b4b, f1=f1b, f4=f4b}) +++ (TopFace b1 f1 b4 f4)
(CubePoints f1 f2 f3 f4 b1 b2 b3 b4) +++ (BottomFace b1b   f1b b4b f4b) =
   (BottomFace {b1=b1b, b4=b4b, f1=f1b, f4=f4b}) +++ (TopFace b1 f1 b4 f4)
(CubePoints f1 f2 f3 f4 b1 b2 b3 b4) +++ (BottomFace b1b   f1b b4b f4b) =
   (BottomFace {b1=b1b, b4=b4b, f1=f1b, f4=f4b}) +++ (TopFace b1 f1 b4 f4)