Add some FA graphviz options
Refactor finite set indexing