ACTION ITEMS
------------
Create richer domain formal types
  e.g., [.., ..] real;  => 2D array of reals?
  e.g., [:domain(2, strided=true)] => 2D strided array?  Complete but ugly.
- semantic: array return types [test/functions/dinan/array_return_from_recursive]

Implement proposed tuple semantics captured in .future file
- semantic: arrays in tuples [test/types/tuple/bradc/tupleOfArray]
- semantic: arrays in tuples [test/types/tuple/deitz/test_tuple_of_array]

Implement proposed explicit index type declaration semantics
- semantic: explicit type on indices [test/trivial/bradc/specifyIndexType]
- semantic: explicit type on indices [test/trivial/bradc/specifyIndexType2]


DEFERRED
--------
- semantic: can we support 'setter' in var-iterators? [test/functions/deitz/iterators/iterator_uses_setter]
- semantic: cobegin scope [test/parallel/cobegin/bradc/varsEscape]
- semantic: implicit real parameter coercion [test/types/scalar/bradc/initReal32]


TODO
----
semantic: module variable access for unused module [test/trivial/deitz/test_module_access1]
semantic: multiple assignments to const fields in constructors [test/classes/dinan/user_def_unique_constructor_const_multipleassign]
semantic: Need a way to inherit from a generic class. [test/classes/jplevyak/inherit-1]
semantic: Need a way to inherit from a generic class. [test/types/type_variables/deitz/part5/inherit_instantiate2]
semantic: omitted array element type [test/arrays/dinan/no_element_type]
semantic: query syntax for array bounds of formal argument [test/studies/hpcc/FFT/bradc/twiddles-advanced]
semantic: reindexing array argument with unbounded domains  [test/studies/hpcc/FFT/bradc/twiddles-advanced2]
semantic: remove during associative domain iteration [test/associative/deitz/arrays/test_indefinite_remove]
semantic: should promotion apply to short-circuit operators? [test/functions/deitz/test_promote_short_circuit]
semantic: should ranges be snapped? [test/types/range/deitz/test_range_division]
semantic: should this be legal? [test/trivial/deitz/test_dynamic_use_before_def]
semantic: specifying component types of tuple arguments [test/types/tuple/diten/tuple_destructure_arg_types]
semantic: two promotions less specific than generic+promotion [test/functions/bradc/resolution/arrayVsPromotion-deitz]
semantic: uint stride [test/studies/hpcc/RA/bradc/ra-bradc-strideduintdomain]
semantic: variable of type not visible at definition point [test/modules/diten/returnRecordDiffModule]
semantic: warning for module use shadowing variable in outer scope [test/modules/figueroa/DuplicateConfigVars/DuplicateConfigVars]
semantic: what should main's return type be? [test/trivial/bradc/entrypoint/mainReturns]
