Dialyzer Updates

Mostly just cleaning up specs and types, adding tickies, and formatting cleanup