Unifyzinho

Coloquei uma condição que faltava no unify:

```unify (Atomo p) (Seq _ _) _ = Nothing```

E fiz os testes