jacket-28
Closing terms with locals, arguments and closed terms
master
Merge branch 'jacket-28'