Merge pull request #11 from yass-n/master

indentação
uma variável agora é representada pelo simbolo ? seguido de um átomo
matchPatternToAssertions
No match uma variável não pode casar com uma sequencia
Merge branch 'master' into expert-sys
deriving Eq e mais um teste
Tratando o caso quando o pattern tem mais elementos que o datum
Merge branch 'master' into expert-sys
testes do matchPatternToAssertions
filterBindingStream
implementando useRule
e
do Redundante
hlint
streamRemember retorna EmptyStream e hlint
Testes mais legiveis e lint
construtor NIL inutilizado
useRule
Merge branch 'expert-sys' of bitbucket.org:vfmaciel/trabalho-ia into expert-sys
apply filters simplificado