eons: Refactor classification to happen at a better time.
eons: Fix up a handful of types.

Gets RPython to the difficult parts of the type inference, up from the easy
parts.