We clearly need one. A cheap-and-cheerful improvement to the current
system would be to include a header file automatically when you #USE a
library, but we also need some control over what symbols are exported; a
proper namespace system might be the best way to go.