Thanks for noticing! Will take look.
It came from Themis group and it’s decision was as I posted above.
It seems like the stumbling block here is the ability of Usagi to recognize those concepts.
I don’t think that it’s necessary to expand “Maps to value” until they can be actually useful.