Rework configuration typing again.  Start trying to prove things.