Contains classes for predicate interpretations used by the Base implementation. @see tvla.core.base.BaseTVS