improve typing derivation format, modify mu-conversion to generate similar type formats to ocaml.