include more information (hidden) on exn objects (used in browser for error reporting), and catch errors at check-block boundaries
bootstrap with unwrap-exn
merge with master