Adds further explanation of classes of syntactic optimization.