Add yardstick and axiom-types
Rename veritas to axiom
Add mutation covering specs