Add more internal type hints

[tybug]

Largely focused on non-conjecture this time. There are some source changes here as I tightened things up while typing, like no longer passing length-one strings or None to as_general_categories.