binding-representations: some updates
Traversable & examples: look how toList is fv