Fix extra whitespace on signatures and update all test cases

This was long overdue, now running ./accept.lhs on a clean test from
master will not generate a bunch of changes.
Omit unnecessary foralls and fix #315

This also fixes #86.
Update CHANGES
Delete few unused/irrelevant/badly-place files.