Cleaning out unused lemmas and admits