refactor(library/data/bool): use new style
refactor(logic/core/eq): use sections
refactor(library/logic): remove 'core' subdirectory