Fix cousot-01: object type -> number.
Merge pull request #19 from UCSD-PL/heapless_fix_cousot_00

Fix cousot-01: object type -> number.