Added semantic links to states.
Alternative alias-table implementation.
Better caching implementation for links, support computed links at traversal time.