These sets make further distinctions among sets. Note that FUNDAMENTAL and CORE contain themselves.
(define fundamental 'fundamental) ; meta, unordered
(define core 'core) ; meta, unordered
(define explicit 'explicit) ; unordered
(define derived 'derived) ; unordered