introduced slot-def kind predicates (eg: join-slot-p key-slot-p)