In the VOQC directory, [uc_well_typed_l](https://github.com/inQWIRE/SQIR/blob/main/VOQC/UnitaryListRepresentation.v#L52) and [respects_constraints](https://github.com/inQWIRE/SQIR/blob/main/VOQC/MappingConstraints.v#L9) should be written in terms of [forall_gates](https://github.com/inQWIRE/SQIR/blob/main/VOQC/StandardGateSet.v#L758).