#11 def-kr-type creates type names in KR package

[Robert P. Goldman]

...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
type-declaration processing.
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.