Add some more concepts and examples

Partly cribbed from Joakim's Coling keynote.