Overhaul of system.

Finally fixed havoc in SCPCF to work in n-ary case, not just unary.
Remove blame labels (syntax objects) from output.  Various other minor
fixes and improvements.