ast: Improve simplification of SphMaps

Modify SphMap so that it can spot and simplify an
(inverted SphMap,MatrixMap,SphMap) sequence in which the
MatrixMap just magnifies or reflects the radius vector.