added whiskering for functors and nat trans