finished type specification and dirDB