feat(int): Generalize construction of int

Prove theorem which states that if you pick an element from every equivalence class, then you can form a quotient.
Also define the abstract quotient, which picks an element using the Hilbert operator.
Also allow for quotients of nonreflexive relations.