reörganize ToFromDatomicSpec

add more implicits tests
reärrange tests to be grouped more logically