add license descriptions about uCaml and MinCaml
begin merge type.ml of uCaml