A tiny bit more of the Geometry type.
Add a handful of simple geospatial functions that optimizer will know about.
Generalize handling of spatial joins by the optimizer.