The keys function extension is not well-typed

[jg-rp]

The keys() functions extension does not inherit from FilterFunction and define its argument/return types.

We probably need to return a special "Nothing" value that plays nicely with contains and in, then return that if keys() is passed a non-mapping argument.