Rewriting Systems with Data