Removed currently redundant Try, TryFinally and Using methods in do notation. Fixed typing for for loops in do notation.