analyser: lots of work

added support for checking of:
- switch/case/default
- if
- while
- do..while
- for

added boolean type (bool)
refactored struct member system