Форматирование примеров, несколько новых терминов. Fixes #41