Links for lambda-typing