2/12/87 SUBSTITUTE? SIMPLIFY-LET
  No longer returns NIL if var has no variable-binder. 
  This allows globals to be substituted

2/23/87 ... PRIMITIVES,NMACROS
  added new primitives, added macro for multi-arg primops

2/23/87 HW:UNBOXED-CONSTANT HW-MACROS,ALPHA,EMIT
  changed HW:UNBOXED-CONSTANT from primop to macro also
  allowing constants to be defined to be unboxed numbers
  and to get integrated

2/20/87 - 2/25/87  GENERATE-CONDITIONAL GENERATE
  added TENSION-BRANCH completely change conditional generation
  added lambda-queue to generate-unconditional-branch
  rewrote generate-let

2/25/87 GENERATE-CONTINUATION-CALL GENERATE
  made it do branch tensioning right and hack primops lambda conts

2/25/87 GENERATE-LABEL-CALL GENERATE
  removed spurious old assignment to NARGS for rest arg
  instead pass it to parallel-assign (which does nothing with it yet)

2/26/87 PARALLEL-ASSIGN GENERATE
  changed parallel-assign to call list for assignment to known
  rest args.  Fixed GENERATE-LAMBDA which was calling cons-rest even
  for STRATEGY/LABEL lambdas. 

2/26/87 STRATEGY-ANALYZE-LET NEW-STRATEGY
  fixed this which was not getting lambda-bound-vars right
  and so not setting STRATEGY/HEAP right.

2/26/87 GENERATE-LABELS GENERATE
  Fix this up to start trying to generate heap labels.
  Still losing because lambda-live is not the right thing
  for finding out which vars are closed over.

2/26/87 ... PROCESSOR-DEFS
  Created this file from stuff in EMIT (used in primitives)

2/26/87 ... NMACROS
  Stopped using macros defined in the lambda environment

2/27/87 hardware-constants, cs-primitives
  added unboxed-constant to hardware-constants cuz it uses it
  made prims:defmacro so that loading k files on lambda
  gets you macros for new compiler

2/27/87 GENERATE-LET GENERATE, TRACE-ANALYZE-LET TRACE
  Made it call parallel-assign to get rest args consed
  Took out bug message for let with rest arg in trace
  (allowed for lambdas, syntax of let disallows)