Added null value and some more array tests.
Added runtime validation. Introduced the concepts of domain/family
of values.