Add pagetree constants to dust.rkt