a step towards check_untyped_defs in aqt, but there's still 100+ issues to resolve
hopefully that's the last of it