Text this: Towards a Maude Formal Environment