Fixed some bugs in typechecking quotients
Added numerator counterexample