Show HN: Rune’s Secret Type Ported to Python