Modified any type signatures with Choice<thm0, exn> to use Protected<thm0> instead.
Merge branch 'removing-exceptions' of github.com:jack-pappas/NHol into removing-exceptions