build: dialyze source for faster devel
swirl: add types for great good
swirl: add types, fix bugs found by types