Fixed binding type variables, which must be done for all definitions, to get correct fixed var sets
Fixed binding type variables, which must be done for all definitions, to get correct fixed var sets

xixixao/Shem