Links for lazy-runtime-typechecker