mu-mmint: Fix alternative highlighting for all metamodels