at: a standard library of active types for ace