unnecessary parameter from TypecheckerUniverse is removed