Links for tierkreis-typecheck