Rewriting for Monoidal Closed Categories