Implied Bounds to be written Cover: Why the FromEnv setup etc is the way it is Perhaps move some of the material from 'lowering rules' in to here Show various examples where you could go wrong