Update jg_types.mli

#1665 Compile with 4.02.1