The reason for this rename is that we were generating TApp types from App and Lam nodes which may lead to confusion between TApp and App. Originally the type was called TArr which didn't have this problem, but I found it hard to remember what TArr was meant to represent whereas TFun clicks with me.
The reason for this rename is that we were generating
TApptypes fromAppandLamnodes which may lead to confusion betweenTAppandApp. Originally the type was calledTArrwhich didn't have this problem, but I found it hard to remember whatTArrwas meant to represent whereasTFunclicks with me.