Types for map keys

Currently we can only restrict object/map values with specific types

It would be nice to force keys of given map to be only of specific type, e.g. use case is a `Log` nested map, where each key is expected to be instance of `Date`.