calcExp :: EExp -> MRSIO EExp
calcExp e = do t <- getType e
               getConverter t e
calcExp :: EExp -> MRSIO EExp
calcExp e = do t <- getType e
               getConverter t e
calcExp e = do t <- getType e
               getConverter t e