Pattern-matching and term rewriting implementations.