Commit 2024-08-17 20:49 f94496f0

chore: follow the "reducible non-instances" library note (#15850) This marks some non-instance defs as abbrevs, per the relevant library note. Without this, we're placing default transparency roadblocks whenever these defs get used to create specific instances on types.