Interfaces for equivalence class sizes.

Support querying the equivalence class size and directly adding to that size.