Player one proof index

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