Require related closures to share typing context
Require related closures to share typing context

This makes the logical relation more restrictive, but is necessary if we want to
be able to update a function with a valid function change by combining their
environments.

inc-lc/ilc-agda