Added function to check for zero

Added rule() to check for zeroes in either denominator

Added system("pause") for Windows compilation
Added a few more comments
Added condition on reduce() that if the resulting numerator was 0 then it would return false.