Changes constructors to Valid/Invalid (so we don't conflict with Either)
Removes old examples.
...