Add free-variables, which frees up a block and its owned memory upon exit
start defining reduction relation