The adverb M. has been implemented. See the dictionary page for details. The current implementation retains results only for arguments that are small non-negative integer atoms.