Added primitive procedures for type conversion, type predicates and
integer arithmetic