Fixed some bugs (missing '==', type of stopPete)
Disambiguate the (+) operator and some functions over lists

Also, using Vect instead of List with functions (head, tail, ...) that
require proving that the list is not empty.
Merge pull request #3 from 0xwille/master

Fix a couple of bugs, disambiguate namespaces