bug fix for calls with blocks calling other methods with blocks. also fixes type comparison bug because types were not unified