redTerm coercions e             = redExp (initEnv { eqns = coercions }) e
redTerm coercions e             = redExp (initEnv { eqns = coercions }) e
redTerm coercions e             = redExp (initEnv { eqns = coercions }) e