             delete tops['http://www.w3.org/2002/07/owl#Thing']
         return tops
 
+    ###
+    Find the types in the list which have no *stored* subtypes
+    These are a set of classes which provide by themselves complete
+    information -- the other classes are redundant for those who
+    know the class DAG.
+    ###
     bottomTypeURIs: (types) ->
-        # Find the types in the list which have no *stored* subtypes
-        # These are a set of classes which provide by themselves complete
-        # information -- the other classes are redundant for those who
-        # know the class DAG.
         bots = []
         for own k, v of types
             subs = @each(undefined, @sym('http://www.w3.org/2000/01/rdf-schema#subClassOf'), @sym(k))

$rdf.Collection::sameTerm = $rdf.BlankNode::sameTerm
$rdf.Collection::compareTerm = $rdf.BlankNode::compareTerm

$rdf.term = (val) ->
    switch typeof val
        when 'object'

        new $rdf.Formula
    collection: ->
        new $rdf.Collection
    #todo: this is really badly named. It suggests that it creates a list, when in fact it creates a collection
    list: (values) ->
        r = new $rdf.Collection
        if values
