Equality Koan wasn't using correct operator.

The "equalityNeq" Koan should probably have had "/=" as the operator, not
"==".
Removed type from the nats thing.

It's asking what the type is, but the type was just written there already.
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 branch 'silky-master'
Merge pull request #3 from 0xwille/master

Fix a couple of bugs, disambiguate namespaces