Re-export: Cylindric Algebra

The cylindric algebra definitions have moved to Core.CylindricAlgebra. This file re-imports them for backward compatibility.