Fixed TODO's in txConstrainEqualBaseTypes.