Added built-in ocaml types and exceptions (not in Pervasives)
Fixed type-name qualification
long paths were not kept in order