Typechecker for a dependently typed LC in MiniKanren