The "core" package for the Forall Framework. Serves as a main entry point and simple package loader.