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.