Add some type predicate and type conversion primitive procedures