Added hlists

You can write them, but `map` doesn't link.
So I'm not going to merge this for a while.