Build our new world (flow-sensitive TI)

- Introduce flow-sensitive type inference
- Report '... object has no attribute %s'