Added Typed nats and bools