Create natural_vector
See http://www.eda-twiki.org/cgi-bin/view.cgi/P1076/NaturalVector.
Create natural_vector as a subtype of integer_vector
See http://www.eda-twiki.org/cgi-bin/view.cgi/P1076/NaturalVector.
Create natural_vector as a subtype of integer_vector