A language for filtering Python dictionaries