Update zen-typing.md