added pretty printing of maps as cells for the maude backend