Extending the language and applications of Maude-NPA through rewriting semantics