SLEEC: Semantics-rich Libraries for Effective Exascale Computation