[Bug Report] stackoverflow while type checking

[iacore]

use this PR branch

❯ cd book/
❯ kind2 check Dynamic

thread 'main' has overflowed its stack
fatal runtime error: stack overflow
fish: Job 1, 'kind2 check Dynamic' terminated by signal SIGABRT (Abort)