Links for zuper-typing-z7