WyC: remove redundant or unnecessary TODO items from parser code.
WyC: remove redundant or unnecessary TODO items from parser code.

hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,Whiley/WhileyCompiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler