Started prototyping syntax for typed indexes