[TIDOC-1328] Add Alloy examples for ListView, ListSection and TextField