move host-interop-analysis to a pass, cycle over tag-infer/analyze-host-expr/validate until we cannot infer anything more
add simple :invoke tag inference