Fix RANDOMLY-PUNTING-LAMBDA - the sign bit is not random.
"Downgrade" FIXME comment. It's not broken, just complicated.
Freeze CLASSOID-CELL type. Remove unused macro.