I think right from the get-go we went a bit overboard with hiding everything under Voldemort/private structure types. It's useful for hiding things that have an API, e.g. ranges, but in this case I think it's overkill. It's essentially forcing people to use `auto`, even if some people *like* typing a variable explicitly, or e.g. want to store the structure to a field (they'd have to use typeof()/ReturnType tricks and whatnot).