Fixed bug of DataTypes.
Monad generalization.
Added DataType functions for easier checking
Enabled and added some errors
Better handling of operator check
Changed compilation in makefile, now it compiles faster.
Added funciton emptyStack to Stach.hs
Now we only go with type checking if the decalrations went OK.
We weren't Lexing strings correctly, now I think we do. Specifically for escaping \ and "
Now we check for loopLvl in break and continue in Definition.hs
Made monad handling more generic (usable by other monads).
Width -> Bytes.
RWS.hs -> SappMonad.hs
Now we parse StRead differently.
Width -> Bytes (I don't know why I wrote this in two commits).
Added typechecking.