description: extract more type variable data
compatibility: backwards

signature_types.rel: run signature_types.ql