------------  Expressions  --------------
tidyExpr :: TidyEnv -> CoreExpr -> CoreExpr
tidyExpr env (Var v)     =  Var (tidyVarOcc env v)
tidyExpr :: TidyEnv -> CoreExpr -> CoreExpr
tidyExpr env (Var v)     =  Var (tidyVarOcc env v)
tidyExpr env (Var v)     =  Var (tidyVarOcc env v)