Should this line be inside the while loop?  I think all nested CommaExps should probably have the same type.