Make valid a primitive instead of derived notion.

This way it behaves better for discrete CMRAs.
1 job for master
Status Name Job ID Coverage
  Test
passed buildjob #76
coq

00:03:59