super/lower types example updated