Fixed desugaring of explicit group cardinalities. There was infinitive recursion loop.