Add comment about recoloring to beta reduction diagram