CL base module

complete CL but with no imports or external axioms

CL base module

complete CL but with no imports or external axioms