Added type definitions in unix.ml. Still need to add fdopendir and openat to build system and interfaces