Develop language class and implement in propositional logic

[daviddoret]

From MGZ21, definition 2.1. Implement the collection l as an instance of a class Language. Place it in the propositional logic package.