Renamed section.
Added TeX labels on subsections for AST types.
Added section on ASTs for fixnum arithmetic.
Added subsection on FIXNUM-+-AST.