Add formula for the mLite programming language

Title says it all.
Double quotes everywhere.