Can now calculate type differences.