Improve table 2 and definition 2, replace <_T with \prec and implement some other minor changes.