change typecheck, add struct update, tested on the small test case
Merge branch 'numa-gibbs' of github.com:stanford-ppl/Delite into numa-gibbs