Toward Full-Fledged λ-Calculus Machines