Anybody having experience with state machines design, specifically nested ones?

Not so much, but I'd say

sealed class

hierarchies can definitely help, especially when coupled with `companion object`s as part of the hierarchy. Then,

when

and nested

when

expressions become really powerful.