Initial semantic checks for for_loops: added info about LIST_s types for ST also