build shoe lift using implicitCAD and haskell