Provides classes that are fundamental to the Jif runtime system.
This package also provides classes for dealing with Jif runtime labels and runtime principals.