CSLib Initialization

This is the root file in CSLib: it is imported by virtually all CSLib files. For this reason, the imports of this file are carefully curated.

Similar to Mathlib.Init, this file imports linters that should be active by default throughout the CSLib library.