add support for simple iteration over list
use unknown type instead of TypeError and make unknown as iterable.
Making UnknownType as utterable we allow body FOR body inference even if iterator itself cannot be inferred