Records and Maps, additional benchmarks?

Tip from Sam Tobin-Hochstadt:

```
Typed Clojure does some interesting occurrence typing things with
records built from hash tables and with method dispatch that could
provide interesting examples. Castangna's recent papers also look at
hash tables and records in interesting ways.
```

Let's check it out.