counter[k] record (has private fields)
list-new[k] k counter(a k[]) k keyto[k] k counter(values k[]) k keyto[k] nat64[k](a k counter) k keysubscript[k] nat64(a k counter, value k) k key~[k] k counter(a k counter, value k) k keysome[k] bool(a k counter, f bool mut((k, nat64))) k key