(+) new [N] T, spawn [N] T
(^) isFree => isSpw