rename bootstrapProofsScript.sml

might want to delete it, but it has some nice theorems