master
go/types, types2: consider type parameters for cycle detection
test: use dot-relative imports where appropriate