Text this: Infinitary lambda calculus and discrimination of Berarducci trees