Split typed coordinates to a new module.
Split quaternion helpers to a new module.
(Additive []) suffices; we don't need ZipList now.
Split HasAtan2 to its own new module.
Document all modules in Numeric.Estimator.