Improved __repr__ of SyntaxElement