Explain/make it easier to create a proposition pool

[hobofan]

Currently, it can be confusing that no proposition pool appears after you add a proposition. This happens because a conflicting proposition also has to be present. That fact should be explained and/or there should be an easy way (at least for boolean proposition pool) to add the opposite proposition that is necessary to create a proposition pool.