Add: Implement logic system for intuitionistic propositional logic

[gelijergensen]

Since both classical and intuitionistic propositional logic share a representation, we can probably even use the same interpreter and data instances for them.