Thesis structure improvements
Thesis: COBRA tool - language, basic usage