Add skips
Add skips example
Add examples
Add final paper and documentation
Update cabal file
Update grammar, README
Update README