Have the VM stack store the type of the item alongside the item.

[drwhut]

This guarantees type safety - especially with the C API.

[drwhut]

This may also allow functions to have vague types!