make Compiler interface substantially more ssa-like