set symbol kind to 'prop' for propositions

fixes #1416.