Emphasise Brahma comparison
Rename cegar -> kalashnikov
Reword Brahma comparison
Add details of program encoding