let ltype = function
  | Ctype ty -> ctype ty
  | Ltype (s,[]) -> mktype (JCPTidentifier s.lt_name)
  | Linteger -> mktype (JCPTnative Tinteger)
  | Lreal -> mktype (JCPTnative Treal)
  | Ltype(_,_) | Lvar _ | Larrow _ ->
      (* TODO *)
      notimplemented "Interp.ltype (Ltype |Lvar | Larrow)"