Destroy this world of violence down to foundations
Introduce generation of MIR for linear Python code
Introduce traversal of generated linear MIR chain
Build our new world (flow-sensitive TI)

- Introduce flow-sensitive type inference
- Report '... object has no attribute %s'
Fix support for boolean literals (True and False)
Introduce initial support for conditional types
Use None as "default:" condition
Improve existing support for conditional types
Introduce basic support for conjunction of 2 conds
Remove duplicates ("calculateAnd" & "calculateOr")
Improve initial support for conjunction of 2 conds
Made everything work on Windows.
Also eliminated most copy-paste in testing code
and started to enforce PEP8.
Proper MIR output
Rewrote visit_If method
Implemented booleean operator handling for branch conditions
Implemented boolean expression handling when used for result computation.
Moved copy-pasted IfMirNode insertion into visit_common_if
Implemented Not operator handling.
Avoid catching unrelated exceptions by using hasattr() and getattr() functions instead of try...except.
Added --mir-only option.
Reworked parameter handling to do that.
Also some cleanup no-the-go.
Implemented checker for boolean operator MIR generation
Added more tests