type checking and binary expression analysis added. arrayMap data structure to mark array as invalid integrated with code