So far, all libraries making use of the elab reflection utilities from elab-util had to depend on the contrib package even if they didn't make use of the pretty printing utilities of elab-util. With this PR, all pretty printing stuff is moved to a single module, so libraries not using this module will no longer have to depend on contrib.
So far, all libraries making use of the elab reflection utilities from elab-util had to depend on the contrib package even if they didn't make use of the pretty printing utilities of elab-util. With this PR, all pretty printing stuff is moved to a single module, so libraries not using this module will no longer have to depend on contrib.