How did you measure size of lambda terms? Does anything change if you adopt size measured in bits, as in https://tromp.github.io/cl/Binary_lambda_calculus.html#Lambda_encoding ?