Links for typechecking