Make names accessible before building case split

Otherwise the typechecker won't be able to get at the definition we're
building