Improved blame management

[GoogleCodeExporter]

Make use of type information everywhere possible to validate types before
calling typed library methods (transformed methods as well).

Original issue reported on code.google.com by samskiv...@gmail.com on 3 May 2010 at 2:51