En "Maude" el insertar se realiza a través de un constructor: