I understand that it is planned to reintroduce some point specialisations to the model - I think that it would be good to add a specialisation that is a point on the unit sphere, which can be used for RA,Dec etc. Not sure what the best names for the two angles are though so that there is no bias towards a particular usage - but I guess that they could be the same as the equivalent angle names in the full three D spherical point.
I understand that it is planned to reintroduce some point specialisations to the model - I think that it would be good to add a specialisation that is a point on the unit sphere, which can be used for RA,Dec etc. Not sure what the best names for the two angles are though so that there is no bias towards a particular usage - but I guess that they could be the same as the equivalent angle names in the full three D spherical point.