Updating the TODO list.
Correcting application and sequence case. Documenting lack of treatment of polymorphism in let statements. Improving type printer.