Type similarity checks should test if types are defined in terms of one another.

[jmalloc]

For example, with:

type Foo struct {}
type Bar Foo

Foo and Bar should be considered "similar".