attempts to parse Mermaid state machine specification entirely on type-level