Propagate type filters through variables