I've now implemented for and case statements. There *may* be a problem with the fact that I am not checking whether an ident is a variable or a constant, but I'll have to wait for more extensive testing to see if that's an issue.