Write Type pages for types defined in lang docs, and check for methods

Type definitions can now be integrated within language documentation,
just as routine definitions could already.