Types should be compared for equality using `=:=`. This method expands type aliases, for instance.