Expand the abbreviated types in parsing. Check redefinition when adding types. Added the missing type.ml/mli files.