Fixed prog2-worthy typo
Don't use reserved words, I guess
Upgrading mona to 0.7.3