>>This also allows it to work with solids, which I think seems pretty useful because it allows for this in one operation now:
>>This type of merge with a solid and a surface allows you to get 2 solids in one easy operation.

It looks like _BooleanSplit in Rhino(?).
Anyway, boolean operations between solids and (poly)surface(s) would be useful.

Petr