This is mostly a question for Robin, but I thought it made sense to ask publicly. Is there a particular reason that Log::Writer and Log::ID types are defined in types.bif instead of logging.bif? It seems like it makes things more complicated than necessary by splitting them from their brethren BiFs in logging.bif.
.Seth