Carry [External] instead of Dictionary in shell state. Fixes help for prover shell, simplifies extending dictionary dynamically.