filter and filterMap functions on records don't respect a precise key type, but consider them strings always. Is that by design? I can map with specific keys but when I filterMap I lose the narrow type and get string in the filter function, and that's limiting how you can use the key inside the filter function