Revert "Procedures are nothing but lists."

This reverts commit eab85aad048f1bd39d3c3b9b9b303d77867c3c2b.