change syntax handling. add new element type 'filter'. simplify bibs.py.