Fixed come smell and formating of generic types

Fixed Code smell in ExceptionHelper
Improved type name formatting, supporting generic types
Improved somewhat the negation test check (but not done yet)