Type annotation so signatures show 'exn' instead of 'Exception' or 'System.Exception'.
Cleanup a large chunk of 'bool.fs' so errors are propagated in the order we expect.
Changed some functions in 'bool.fs' to use choice workflows instead of manually handling Choice values with Choice.bind and Choice.map.