cast-normal form

[ivoysey]

define a judgement that normalizes out / minimizes casts and see if that makes the ap rule for expansion nice or nasty.

[ivoysey]

this is kind of a generalization of #45. id casts are casts that it's always safe to normalize out, but there are others that are morally identity casts but perhaps not literally.