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)"