Changes to make kind inference user-facing

Closes #34

This moves dagrt.codegen.data to dagrt.data, and adds more
documentation to the module.

SymbolKindFinder is changed to have a slightly more generic interface,
accepting iterables instead of ASTs.

This also adds a helper function for kind inference of DAGs.

This depends on !37