more progress on replCorrect

now the initial_elaborator_state looks to be broken (it should bind
"exn"?)