Added: :attr:`abstract` for :cmd:`Ltac2 Type` makes it possible to turn types abstract at the end of a module (#18766, fixes #18656, by Gaëtan Gilbert).