@typecheck_method(v=IR)
def copy(self, v):
    new_instance = self.__class__
    return new_instance(v, self.typ)
@typecheck_method(v=IR)
def copy(self, v):
    new_instance = self.__class__
    return new_instance(v, self.typ)