Theme library

Every theme we can match an idea to, grouped by part of the economy, with the companies whose filings put them there.