modified implied do expr parsing, sema