The fundamental? predicated determines whether its argument is a fundamental Sol set.
(define (fundamental? obj)
; If OBJ is a core or explicit
; set, or a gnu.bytecode.Type
; instance, return true.
; Otherwise, false.
(or (core? obj)
(explicit? obj)
(classType? obj)))