Small efficient processor for strict evaluation of lambda calculus