Separated out rationals into their own file, finished adding constraints to all the Prelude operators.