Generate defunctionalization symbols for existing declarations

Fixes js/#28