Hm... don't looove calling the State module by name. Could you do it by considering the `extend Einhorn::AbstractState` to be an explicit registration?