Update .cabal and add some basic tests for NatArray