ideas of introducing ICs into dynjit

[thautwarm]

Python's object data model is quite different from JavaScript's, but ICs are still applicable within CPython. A python type is a shape, and methods, class methods and static methods can be optimized like properties in IC. IC requires few assumptions than many current techniques used in dynjit, for instance, constant global references and immutable type objects are not necessary.