hash-table support in pattern.rkt