Updated typePondering.md to reflect lib changes.