contextToTEContext ((x,t):rest) = (x, typeToTypeExpr t) : contextToTEContext rest
contextToTEContext ((x,t):rest) = (x, typeToTypeExpr t) : contextToTEContext rest
contextToTEContext ((x,t):rest) = (x, typeToTypeExpr t) : contextToTEContext rest