Reversible, Irreversible and Optimal Lambda-Machines