Make filter keys type safe in DefaultFilterElement.
Code style.