Fix most test to work with lambda promotion
Export defunctionalization symbols (fixes #16)