The new types are especially powerful for our existing curve types. Although it is hard to list particular features, this is exemplified by the computation of points on elliptic curves. Since points are now allowed over any extension of the base ring, one can now work with points over a variety of rings on the same elliptic curve without having to create a new curve over each extension.