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