Datatype restriction on "position"

Added datatype restriction on "position" as formal constraint that ensures that only positive integers are valid values for this datatype.