Add vtable signature for closure#8

Nadrieril merged 3 commits intoAeneasVerif:mainAeneasVerif/hax:mainfrom

ssyram:closure-vtable-sigssyram/hax-dev:closure-vtable-sigCopy head branch name to clipboard