Consolidating info on the type system and its semantics

[distransient]

Information on the type system is scattered across each of the documents, would it be a good idea to put it all in one section/file?

[jfbastien]

What do you have in mind exactly? AstSemantics seems to hold everything, but is indeed spread out in that document. Or are there things outside that you'd consolidate?

[distransient]

Consolidating the type information in AstSemantics would be helpful but also (possibly briefly) mentioning the type requirements of things like indirect calls and module definitions in that section could help as well.

[distransient]

Going to give a stab at this once 0xc lands.

[distransient]

Ok I lied... After reading through what's on the plate in #813, I'm going to wait a little longer before giving this a try.

[binji]

The type system is now fully described in the text spec.

[distransient]

Yep, this is from a land before time time long past!