Mark properties in Python highlighter