Remove miscellaneous cruft.
Remove unused imports; add TODO.
Pretty huge refactoring. Changed structure of dependencies; created a new Domain module for base-level types.