Implemented quick fixes that changes type visibility if the type is used in "more" visible preconditions.
Implemented #3: tool shows an error when less visible exception used in Contract.Requires<E>. Quick fix available.