Add types, remove dead code, and beef up lints#76

zbowling merged 5 commits intomainmodular/stack-pr:mainfrom

zbowling/typeifymodular/stack-pr:zbowling/typeifyCopy head branch name to clipboard