Adding lambda calculus-driven list operations: head and tail