implement parts of mkReal.  Implement simp_Or.  Make sure assumptions are used for all calls to int.  Fix t56 and t67.
implement parts of mkReal.  Implement simp_Or.  Make sure assumptions are used for all calls to int.  Fix t56 and t67.

zaxtax/hakaru,zachsully/hakaru,bitemyapp/hakaru,zachsully/hakaru,zaxtax/hakaru,suhailshergill/hakaru