normal form (term rewriting)