Added several notes about algorithms used.
Added notes about "Type inference in Ruby" and "Fast type reconstruction for dynamically typed programming languages".
Added samples for type errors and some dynamic features of Python.