change a [vari] to a [var] abstraction