Notes and exercises from Purely Functional Data Structures by Okasaki, implemented in Arc