s: Focus unwrapping code.
infer, objects: Use a simpler way to get the type of objects.
eons: Reenable phrase type inference.