New integers using quotient types. Implemented addition and inequality. Partially implemented multiplication. Some proofs using sorry for now

Author: kaleidawave