This is my question also but a bit different.

Is there any reason to explicitly have this binary decision.

Instead of single primitive where the parent dynamically defines the childs context. Naturally resulting in either spawn or fork or anything in between.

That actually sounds even better than the binary. Thanks for the suggestion!