Jeremy:
BioTapestry does support name overrides at the second level "View from All Nuclei (VfA)", which is the model level where side-by-side comparisons are appropriate. Given the VfG model in the first attachment, the VfA submodel in the second attachment can be created using the Gene Property dialog (third attachment).
The enforcement of gene name uniqueness, including case, in the top-level VfG is crucial to conform to the BioTapestry model hierarchy. A gene can only exist once in the VfG, as that is the underpinning of how the model hierarchy is designed.
I would recommend using a single gene vocabulary when working the model, then switching names only as a final step as a cosmetic fix. You might even call the gene "Gene1/gene1" at the VfG level and then tailor it in both region instances in the VfA. This "name override" feature is very, very old, and there are likely hidden bugs when using it.
Thanks for your interest in Biotapestry.
Bill