Refactoring of MNatural