If the root problem with QMK is that there are too many moving parts, adding a completely new language and compiler into the mix seems like a step in the wrong direction.
The extra features that QMK has and Menelaus doesn't aren't really all that appealing to me to begin with.
The extra features that QMK has and Menelaus doesn't aren't really all that appealing to me to begin with.