Alternative procedural representation of pairs

Includes step-by-step evaluation of (car (cons x y)) by substitution.