Working on forall array parse/sema
more work on parse/sema for forall array