fixed ConcreteCollectionVariable#matchConcreteSize

fixed https://github.com/kframework/k/issues/979

@dwightguth please review