Is there any prospect of more snaps to surfaces and to faces of a solid? Maybe it's already there but I'm missing it?
Line of intersection between surfaces and/or faces to be snapable.
Point of intersection between a linear entity and a surface or face to be snapable.
Bentley has a way to generate an entity on such lines or points, which can then be snapped to - that is long-winded and unsatisfactory, but Brics can't even do that?
When doing a PushPull, Extrude etc, to be able to extend (on locked vector) until a chosen vertex snaps to a surface or the face of a solid.