note about rewriters in theoryskel readme