replace --Int again with 0 -Int; turn some of our nice functions into constructors just to get tests to pass (we will move the failing back later)
replace --Int again with 0 -Int; turn some of our nice functions into constructors just
to get tests to pass (we will move the failing back later)

davidlazar/llvm-semantics,kframework/llvm-semantics-old