@griesemer and I started the dev.types branch with the intention of collaborating on some exploratory ideas for the typechecker, but ended up just having too many copies of go/types to keep track of (master, dev.typeparams [+types2], dev.go2go).

Some of the work we intended for dev.types is happening on dev.typeparams, some of it is postponed for later. dev.types is likely not to be needed for a while, so we think it should be deleted for now.

No particular urgency, but at some point could someone on the release team delete it? Thanks!

(if there's any reason not to delete it, let me know -- I just thought we should keep things tidy)

CC @cagedmantis @dmitshur @toothrot