prototype: Better tests.
prototype: Add support for where clauses.
prototype: Add Hier.agda example.