Seeing types where others don't: static type inference for jq