absence of types considered an err (really an fyi); update tests and fix busted ones