Update README.md
Fix some llvmpy usage
Init
Work on type-inference
Work on type inference
Implement type lattice to lookup distance between castable types
Improve global value lookup
Add control flow analysis
Add dataflow analysis
Add lowering and targets
Add function type inference
Work on lowering
Work on python wrapper
Let target context define calling conv
Add jitted function as PyCFunction to the original module
Handle array
Handle ndarray
Refactor typing module
Ignore deadblocks
Refactor targets module