mandel/testing: links for typing-inspection