Implements a typing algorithm for Jimple.