Update name tags, maude pretty-printing, parser