An environment for the Forall Frameworks packages.