v0.10.0

Full Changelog: v0.9.1...v0.10.0

Pantagruel v.0.6

Quantification-bound symbols are only valid in that body.

Pantagruel 0.5.1

v0.5.1

Allow indexing into and checking membership of tuples