add function for flattening a design into its descriptions
vl: comment injection tweak to avoid duplicating comments in multiply included files.
fix apparent package problem with arith-equiv-defs book