mmt.tools abstractions for Max