Revamp kinds for bounds expressions #50
Description
This issue was copied from checkedc/checkedc-clang#50
It would be good to have one kind field on bounds expressions instead of specialized kinds per type of bounds expressions. This would make it easier to write code that traverses bounds expressions. Currently, we have to test the type of a bounds expression and then look at the kind field.