Additional matching

[BoilingFusion]

Add Add matches function to all types structs

closes #12193

For the matching functions it follows these specs.

Adds:

• ExternType::matches
• ExternType::eq
• GlobalType::matches
• GlobalType::eq
• TableType::matches
• TableType::eq
• MemoryType::matches
• MemoryType::eq
• TagType::matches
• TagType::eq

[BoilingFusion]

I think its correct.
Although things did turn out a little bit less trivial than expected. Luckly the spec was pretty clear on when types matched.
Some extra focus on reviewing TagTypes would be helpfull since the spec for TagTypes matching was more complex than for the others.

[alexcrichton]

This looks like it's largely a duplication of this file, would it be possible to avoid reimplementing that file and using the implementations there instead? Reusing an implementation would reduce the need for tests, and otherwise this will need tests as opposed to just adding the methods.

[BoilingFusion]

Im afraid that file implements the methods for Global and Memory, etc instead of for GlobalType and MemoryType etc.

Its kind of hard to use these since you would first have to create a Global from the GlobalType to do the comparison. The other way around should be more natural.

What would be the appropriate place to add the tests?