Added support for threading Etypes through the TcRnMonad in the lcl env; updated journal