Use * instead of & in `get_type` call and specify type of `i` in Array construction and cast bit-shift RHS to uint