Code cleanup: get the datatype of each entity off symbol->datatype (set in stage3 datatype checking), instead of determining it again in stage4. (NOTE: handling of IL parenthesized expressions is not working! Will be fixed later.)
Things that we must still check for in stage 3:
1) Handling of CONSTANTs:
1.a) "Any program organization unit attempts to modify the value of a variable that has been declared with the CONSTANT qualifier;"
1.b) From table 16.a "The CONSTANT qualifier shall not be used in the declaration of function block instances as described in 2.5.2.1."