Add theories, which will be used to make suggestions.  Also exclude hidden directories so the bin script can be used on this project, for bootstrapping