Update types.md

[amesy]

trafficstars

更新为where子句，代码看起来更清晰。

[YangFong]

并不推荐改动，与原文保持一致即可。

若坚持自己的想法，请先与上游进行沟通。