(BottomFace b1 f1 b4 f4) +++ (BottomLeftLine b1a f1a) =
    BottomFace {b1=b1a, f1=f1a, b4=b1, f4=f1}
(BottomFace b1 f1 b4 f4) +++ (BottomLeftLine b1a f1a) =
    BottomFace {b1=b1a, f1=f1a, b4=b1, f4=f1}
(BottomFace b1 f1 b4 f4) +++ (BottomLeftLine b1a f1a) =
    BottomFace {b1=b1a, f1=f1a, b4=b1, f4=f1}