Aliased sequence index types

@andymoe - type aliases to call out where an index is actually specified or may not be.
Different kind of option - not a bit flag, but rather a convenient way of expressing the possible presence/absence of a value via the type system.