Remove obsolete TODO comment.
Remove unneeded special case in ANF transform.

Obsolete now that we carry all the types around.