Player zero proof index

Import-only index for the player-zero lift and strategy construction modules.