I see you still have to add a fudge number to stop the faces intersecting when doing a difference boolean. I'm afraid this is still strictly worse than Build123d or any other DSL than wraps OpenCascade.