More documentation.

The ability to specify fact names with strings or symbols; right now, only
strings are supported
