Commented/revised/TODO'd ChoicePair.java, HTMLPrinter.java, and Printer.java in printer