20:07:58Bikeso now that i'm actually looking at the CST thing, i'm thinking to handle declaim declaration, it might be simplest just to tell clients to have a method specialized on the system argument (that already exists) that handles custom declarations
20:08:08Bike(meaning, for declaim declaration, returning nil immediately)
3:20:36Bikei have it built on my machine. just adds a parameter to canonicalize-declaration-specifiers, but not the lower method. i'll push it tomorrow