Disentangling math libraries from collections libraries