let texpr exp =
  try T.expr exp
  with T.AbortTranslation msg -> MV.abort msg