Maude stuff

@andreistefanescu @traiansf please review.
This was supposed to be part of the unified-hooks branch which I did not requested a pull for, yet.