Implement loopy.assume
Implement make_copy_kernel