Add formula for the mLite programming language

Title says it all.