make build_ConstDef make the new extends_init_thm