mk-ghcup-metadata: Clean up and add type annotations

Getting this file right has historically been quite painful as it is a
dynamically-typed script running only late in the release pipeline.