Lambda calculus / type inferencer experiments