all base singletones implemented; TODO: make boolean operations work properly with base singletons