Refactor

Rename Set constructor to Assign
Start working on AST in Coq
Use Word8 in interpreter

Simplifies previous overengineering
Formatting
Make focus in Zipper strict
Rewrite interpreter

Uses a State monad and also refactor it a bit