Halfspace is an IDE for solid modeling with distance fields