start working towards data representation things in bootstrap_lemmas

namely, making sure constructor tags match up properly, figuring out
where to store this information in the theorems/definitions.