Fix cousot-01: object type -> number.

What we thought was a number was parsed as an object literal type.