Links for construct-typing