get to end of successful declaration case, with 3 cheats

two cheats are about type system/inference invariant preservation, and
one looks like a bug somewhere in the overall repl invariant.