use static_assert
make Map equality comparable (work-in-progress)