see comments

added todos in gen expr for arrays
Semantic analysis needs to be inspected for array visits, I am pretty
sure there are problems there still (type assign/check)
added comments describing the exceptions for arrays
we need to fic class cast to have the correct things in t0 and t1