[mypy] fix remaining typing inaccuracies
[mypy] fix remaining typing inaccuracies

note that a conjunct returns the last conjunct if everything was true,
otherwise false.  So to actually return a `bool`, we have to manually
convert.

agdsn/hades,agdsn/hades,agdsn/hades,agdsn/hades,agdsn/hades