Solved almost all of Lab3.hs. Left to do: Some props for (!!=) and update, the solve function and the isSolutionOf function.