fix a bug with some cases of incorrect representation decisions for TApp types (#57)
fix a bug with some cases of incorrect representation decisions for TApp types (#57)


Morgan-Stanley/hobbes,Morgan-Stanley/hobbes,Morgan-Stanley/hobbes,Morgan-Stanley/hobbes