refactor(library/logic): rename connectives -> core, basic -> connectives