Some types cleanup.

[sparhami]

• Create type aliases to make things more readable.
• Remove some assert calls that are noisy, they will fail nearby anyway.
• Improve typing of NameCtorOrDef when passing a constructor function.