Update sohva and diffson versions
Move implicit formats to avoid ambiguities