first version of odrl0.v
More clean-up...requirments now are gone plus attributed and paid are
gone. odrl0 is now going through coq without errors.
Completed count_equality, query and inconsistent.
Next I will implement the main algorithm.