Added some more annotation to TcExpr.lhs; updated journal