This file contains code to handle hyper-operator expressions. Since many programs won't use them, it makes sense to separate it out and load it on demand (with SelfLoader).