mathlib3

feat(data/{list/alist,finmap}): implicit key type

#662

Merged