...rather than in the package in which the def-kr-type
form is executed. This is odd, and can make things
very cumbersome in some cases (notably type-gadgets),
although it seems handled nicely in the
I'm loath to do too much "fixing" here, since making it
work for this odd case (type-gadgets for prop sheets)
seems likely to bust more common uses of kr-types.