Links for guppylang-internals