Update pre.rkt to provide prop:pattern-expander