Add mtiLang, an IL for multi-argument functions.

The semantics are not yet complete.