Experiments with variants of lambda calculus