Add some start codes to the lexer to distinguish between the outer  -calculus and the embedded assembly language.

Ugly but workable.  The goal is to factor out the concrete asm
language into a separate level and to make the base lambda calculus
parametric in the concrete machine instructions.