GitLab

- Add check for cycles in judgment input sorts

use writer monad to avoid rebindable syntax

See merge request !1

make final type checkers for record, variant and fo-recursive types more systematic (case, inferNormed, requiredNormed)