define annotated expressions