It would be nice to have functionality to convert between all these frames of reference. It seems we have all the pieces of the puzzle, including SkyCoord, Time, EarthLocation, and access to all wrapped ERFA functions (unless I'm missing something?).

EDIT: this would be a good GSoC project, and the people to contact are @eteq and @adrn