Work on typed ir