Added Array types

also added strict enforcement that set elements and array indices
are integral.  Also have done zero testing on any of this...