make new-∀/c and new-∃/c figure our their own names and have a better printing
add pict->argb-pixels and argb-pixels->pict