delete debugging messages
update INSTALL
Fix bugs in checking linearity of record literals.