>
 > IMP_Ubiq(){-uitous-}
 >
+> import Prelude hiding ( lookup )
+>
 > import StgSyn
 > import Id            ( SYN_IE(IdEnv), growIdEnv, addOneToIdEnv, combineIdEnvs, nullIdEnv, 
 >                        unitIdEnv, mkIdEnv, rngIdEnv, lookupIdEnv, 
 
 IMP_Ubiq()
 
 import MatchEnv
-import Type            ( matchTys, isTyVarTy )
+import Type            --( matchTys, isTyVarTy )
 import Usage           ( SYN_IE(UVar) )
 import OccurAnal       ( occurAnalyseGlobalExpr )
 import CoreSyn         ( SYN_IE(CoreExpr), SYN_IE(SimplifiableCoreExpr) )
 --import Pretty--ToDo:rm
 --import PprCore--ToDo:rm
 --import Id--ToDo:rm
---import TyVar--ToDo:rm
+import TyVar --ToDo:rm
 --import Unique--ToDo:rm
 --import IdInfo--ToDo:rm
 --import PprEnv--ToDo:rm
 
 addOneToSpecEnv :: SpecEnv -> [Type] -> CoreExpr -> MaybeErr SpecEnv ([Type], SimplifiableCoreExpr)
 addOneToSpecEnv (SpecEnv env) tys rhs 
-  = --pprTrace "addOneToSpecEnv" (ppAbove (ppr PprDebug tys) (ppr PprDebug rhs)) $
+  = --pprTrace "addOneToSpecEnv" (($$) (ppr PprDebug tys) (ppr PprDebug rhs)) $
     case (insertMEnv matchTys env tys (occurAnalyseGlobalExpr rhs)) of
        Succeeded menv -> Succeeded (SpecEnv menv)
        Failed err     -> Failed err