[disc] Free box/cc elemsol from TypeTag

I figured good template arguments would be the fv grid geometry that fixes discretization and knows grid connectivity, and the solutionvector which element solution is supposed to be a part of. Only PrimaryVariables as argument wouldn't allow for the overloads we currently offer for update.