Hid the underlying array representation.
Alternative definitions.
Proof of memoize being correct.
Property rename.
Gitignore.
Relative indexes, some work on making reverse proof work.