ir: More stuff to get IR through parsing and onto semantic failure.