The previous examples and demonstration are now rather out of date.
I have continued to develop MM. In particular, the syntax is now
simpler, and the compiler now performs dimensional analysis on units.
A draft user-guide is here.
A queue simulator is here.