Use Json play library to construct toplevel