json4s helper and resolver