Added Protected to a few type signatures in tactics.fs.
Removed exceptions from some functions in simp.fs.
Modified some functions in bool.fs and theorems.fs so they propagate errors correctly.
Alias Choice.get with ExtCore.Choice.bindOrRaise, so if the choice value is an error containing the exception, the exception will be raised (providing information about the actual problem) instead of a generic error message.