Links for micropython-typing