Rename Arithmatic to Arithmetic.rkt