Adding simple test for testing incr/decr operations
next: fix ssaStmt
next: fix ssaVarDecl
where is the damn test?
foo
more tests for unary assignments
more tests for unary assignments
added some support for unary assignment
Fixes and clean-up

  - ./TODO.md contains the tests failing because of known bugs or
    unsupported features.

  - Removed some cabal warnings.
Merge pull request #10 from UCSD-PL/plusplus

Side-effecting assignments
Merge branch 'develop' into modules

Conflicts:
	src/Language/Nano/Liquid/Types.hs
	src/Language/Nano/SSA/SSA.hs
	src/Nano.hs
NOT COMPILING FULLY

  - NEED TO TEST SSA.
Fixing var search using syb.

  - use manual unfolding of the query instead of extQ
Adding scoping examples.