Mechanism to annotate expressions