Type list indexing
Updated and expanded the type list index proposal.