Fix promotion of []
Export some defunctionalization symbols