IR: changed Jump; added Types; added Func; fixed various