我和griesemer创建了dev.types分支，打算一起探索一些类型检查器的创意，但最终只是有太多的go/types副本需要跟踪(主分支，dev.typeparams [+types2],dev.go2go)。
我们原本打算在dev.types上进行的工作正在dev.typeparams上进行，有些工作被推迟到以后。 dev.types可能暂时不需要，所以我们认为现在应该删除它。
没有特别的紧急性，但某个时候，发布团队中的某个人可以删除它吗？谢谢！
(如果有任何不删除它的理由，请告诉我——我只是觉得我们应该保持整洁)
CC @cagedmantis@dmitshur@toothrot