Fix handling of IF nodes.
Fix handling of FOR nodes.
Improved typechecking/translation of records.

It still does not work becuase the translation from
Tiger types to LLVM types is not implemented for records yet.