Fairly serious rework of the typing code to add new int/fp lattice values.