fix(frontends/lean/server): compilation warning

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(tests/lean/run/class_coe): adjust test to reflect library changes

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(library/logic): rename connectives -> core, basic -> connectives