Fixes to verity

We're added some more predicates and fixed an major bug where the validations where being stored on the Class class so they where being overwritten when used in more than one class.