typechecks up to bg_match
added all the renamers to the signature