Update todo. Remove some finished items and add well-formedness checks to list...

Update todo. Remove some finished items and add well-formedness checks to list of things to be done.