Aligning Transformers with Weisfeiler-Leman