(BottomFace b1 f1 b4 f4) +++ (BottomFrontLine f1a f4a) =
    BottomFace {b1=f1, b4=f4, f1=f1a, f4=f4a}
(BottomFace b1 f1 b4 f4) +++ (BottomFrontLine f1a f4a) =
    BottomFace {b1=f1, b4=f4, f1=f1a, f4=f4a}
(BottomFace b1 f1 b4 f4) +++ (BottomFrontLine f1a f4a) =
    BottomFace {b1=f1, b4=f4, f1=f1a, f4=f4a}