Maude stuff

@andreistefanescu @traiansf please review.