- Add hoqtop.byte target
- Add Set Asymmetric Patterns and Set Universe Polymorphism global flags
(shouldn't affect other versions without the flags).
- A little fix in theories/Equivalence due to a failed eta conversion
in unification (not related to universes though). Investigating this.