native implementations for \usemhmodule and \adoptmhmodule