Cpschange: handles the Halt case
Libl: match failure now prints to stderr
Cpsbuild: new function let_match_failure