Minor additions to documentation

docs/collapse_literals.rst

@@ -41,5 +41,8 @@ If a branch is constant, and thus known at decoration time, then only the correc
         x = 2
         return 2
 
+This decorator is actually very powerful, understanding any definition-time known collections, primitives, or even dictionaries. Subscripts are resolved if the list or dictionary, and the key into it, can be resolved. Names are replaced by their values if they are not containers (since re-writing a container, such as a tuple or list, could duplicate object references). Functions, such as ``len`` and ``sum`` can be computed and replaced with their value if their arguments are known.
+
 .. todo:: Always commit changes within a block, and only mark values as non-deterministic outside of conditional blocks
 .. todo:: Support list/set/dict comprehensions
+.. todo:: Attributes are too iffy, since properties abound, but assignment to a known index of a known indexable should be remembered