set symbol kind to 'prop' for propositions
Merge pull request #1417 from spechub/1416-symbol_kind

set symbol kind to 'prop' for propositions