Node.setSymbol needs to be immutable copy on write as well + snapshot parsed IRs for recompilation. Found a couple of existing type bugs in Attr and in the recompilation logic that I fixed. Method specialization is still hidden behind a flag, and not active. /M