Implemented #4. Implemented warning and quick fix when Contract.Requires<E> refers to exception without ctor(string) or ctor(string, string).