Erato uses a fixed-width font because it is easy to read and makes formatting very clear. You can change the font in the Settings. I like your idea of a toggle though, I'll give it some thought and see how it might work.
Erato has a more flexible window layout than Mou, and provides some nice editor shortcuts that programmers are used to (e.g. better identation features and block autocomplete).