Eval let-in, list, var, head
(1) move type checking into Eval
(2) pass this example:
   let x = 1::2 in head x end