Test for-loop typechecking
Test record expressions, assignments