Removed exceptions from some functions in drule.fs (deep_alpha, in particular).
Merge branch 'removing-exceptions' of github.com:jack-pappas/NHol into removing-exceptions