introducing a superclass of LibBunGamma
introducing TypeCheck for the upper class of LibBunTypeChecker