Revised consistentTLower to eliminate bound variables in the resulting LB type