Organized .gitignore and added autogenerated .sk files and cabal sandbox stuff.
Added incrementing p after every instruction word.
Flipped all assertions to have expected value on the right of the ==.