Basic index

Import-only index for the basic list, stream, category, and tactic support modules in the Borel determinacy formalization.