Expressing Performance and Redundancy in OpenMP: the LIONESS Annotations and Toolchain | Synapse