Added Spec library. The idea is to provide a generic way of contructing specifications, that can be utilized in multiple contexts.
Added basic consistency axioms