GitLab

use judgmentinstancematch instead of equality, add guard that checks that input of judgment is actually specific child of parent, refactoring

Generate ADTs for infinite outputs (Type and Context) and translate their judgments to ADT functions.
TODO: for `Anno` we return the type annotation. This type must first be converted to an ADT before returning.

- Add check for cycles in judgment input sorts