array with tyCon
grap qualifiers from TyCon refinements
ignore non basic dataCon info
add state test
Merge pull request #27 from ucsd-progsys/array

Array