Rename TDArr to TImplies. Looks nicer.
Type parser looking good.
Nicer pretty-printing