Fex using untyped lambda calculus and de Brujin indexing. Success!