Add tests for monad laws.
Implement TryFinally, TryWith, and Using in RandomBuilder (#43).