Rip out legacy reactivity from the typechecker and HackC