Added assertions to ConstantValue::divide to check "integer divided by Zero". Implemented bit more the type code generation. Implemented equality and inequality operators for TypePointers. Added the NULL constant.