start on trying to remove labels from the bootstrap code

also, rename some theories under bootstrap/ for a more consistent naming
scheme.

the label removal evaluation still fails, but the requisite (I think)
code_labels_ok theorem is now proved.