Modified the way the FIXNUM-+-AST and fixnum--AST work.
Added readers for FIXNUM-+ and FIXNUM--.