Added subtypes functions, updated help, docs

* Added `isabstract(T)`, `subtypes(T)`, `subtypetree(T)`
* Updated `help(x::DataType)` to print super, subtype info
* Doc fixes/updates.

Prompted by a suggestion by Stefan in #3116