For sake of better indentation, DEFINE-FOREIGN-TYPE should probably better use &BODY instead of &REST.
Bug watches keep track of this bug in other bug trackers.