The elaboration of the cerebral cortex carries with it changes to other brain areas. The larger part of the cerebellum in mammals is called what