Added CoallocateStmt and CodeallocateStmt (with [[device]] execution symantics)
Added HaloAlloc and HaloExpllicitShapeSpec.