Very interesting idea.

There was a proposal for a similar feature in Go [0], but it was abandoned due to technical infeasibilty.

What exactly are the rules for when a thread is garbage collected in W++?

[0] github.com/golang/go/issues/19702