Semantics-rich Libraries for Effective Exascale Computation