- Ticket #1995: Unsoundness with newtypes
      - Ticket #2475: "Can't unify" error when stopped at an exception
      
      In addition this patch adds the following:
      
      - Unfailingness: RTTI cannot panic anymore. 
        In case of failure, it recovers gracefully by returning the "I know nothing" type
      - A -ddump-rtti flag