Links for assert-typecheck