Modules exporting data types cannot be unloaded right now, since we are not sure if there are values of such a type bound to some key. To keep the count of each type is a possible solution for the future, but for now an extremely cheap one is to just allow unloading when all the defined DBs are empty.