fixed BuiltinCollectionOperations#size

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