Minor change to pretty printer.
Changed README.
Added primitives for int arithmetic and bools.