Add predicates for specifying key and value types of maps#85

uhoreg wants to merge 1 commit intosolnic:mainsolnic/drops:mainfrom

uhoreg:map_key_value_typesuhoreg/drops:map_key_value_typesCopy head branch name to clipboard