> I did some quick mods to remove-unused.new.fun and it now produces the > following: ... > which type-checks in SSA and compiles successfully. Fine for now. I'm going to run the usual battery of tests, and if everything passes, I'd like to merge the SSA branch into the main branch and have everyone continue from there.