<@U0926QHA6> that sounds good, except from some de...

# kontributors

[ilya.chernikov]

@apatrida that sounds good, except from some details, which I’ll write below. But could you please explain your motivation a bit more? I already started refactoring of these parts some time ago, but haven’t yet finished (as you might noticed looking at the GenericRepl and ReplInterpreter classes.) But I don’t feel any urgency there, provided that the functionality is there already.