Document API: Infrastructure for labels improved, document example
modified, ESequence mode extended for nested sequences.