Eolian betaness checks do not check that the types of the parts are correct to the beta state of the class they are defined in.