Rename hy model types

[peaceamongworlds]

Closes #1644.

All hy models have Hy removed from their name, so HyString -> String, HyList -> List etc.

Also, hy.models has been prepended to the repr of all the models.

There are still objects which include Hy in their name, such as all the hy errors, HyASTCompiler, HyREPL and maybe some others. It would be nice to rename those as well, if everyone agrees.

[Kodiologist]

I'm against this because I'd rather skip right to hy.models.Integer, as I proposed in #1992, than make that change later and break people's code again.

[peaceamongworlds]

I'm against this because I'd rather skip right to hy.models.Integer, as I proposed in #1992, than make that change later and break people's code again.

Are you opposed to including the models in the hy namespace, or changing their __repr__ methods?

You mentioned #1644 in #1992, but that suggests making the models accessible as hy.Model. quote already uses the fully qualified name (since #1979 I think), so changing their string representation seems like a more of an aesthetic change.

[Kodiologist]

Are you opposed to including the models in the hy namespace, or changing their __repr__ methods?

Both. I want HyInteger to be accessible as hy.models.Integer and I want the repr to reflect that.

[peaceamongworlds]

Fair enough

[peaceamongworlds]

I've changed it so that the hy models can only be accessed through hy.models and repr shows hy.models as well.

[Kodiologist]

Thanks. Could you take any changes that aren't part of the massive search-and-replaces, like the NEWS line, and put them in one or more commits separate from the search-and-replaces?

[scauligi]

Looks like there are still a few places in the docs that aren't scoped to hy.models, possibly other locations as well.

[peaceamongworlds]

I think I forgot to check everywhere, but that should be fixed now.

[peaceamongworlds]

I think that should be everything. The commits are somewhat intertwined, but I've separated them out into logical sections.

[Kodiologist]

Well done.