pass new closure flag through to typers
rm old scope impl