Remove <prior> implementation.

It was removed from the specification. No use in Star, likely no use
elsewhere, so not worth a deprecation note.