Undo weirdnesses, (most) type specs that can cause incompatibility with...

Undo weirdnesses, (most) type specs that can cause incompatibility with extending classes, unwanted/unclear/unspecified things.

Closes #3576831