- `mkWithBody` in `mkHype` could be run once per automaton - `hasElems` and `heads` could be optimized; body and head transitions should be stored separately in the automaton - `expectEnd` is suboptimal for sure; the constructed `stateSet` can get quite big -- to be checked
mkWithBodyinmkHypecould be run once per automatonhasElemsandheadscould be optimized; body and head transitions should be stored separately in the automatonexpectEndis suboptimal for sure; the constructedstateSetcan get quite big -- to be checked