I'd consider mentioning the equant as the elimination of it seems to be where most of the theoretical elegance was gained. There were fewer epicycles (were they used differently?) but I'm not sure how much of the epicycle elimination was due to genuine improvement and how much just left the theory as less accurate (more epicycles usually means more precision).