typedef type_index and remove including of unneeded headers
planet::close(): unregister operations after releasing