Initial release

This release includes a very basic version of components to work with:

• propositional signatures
• propositional worlds
• preference relations over propositional worlds (total preorders and ranking functions)