Added user object specification
Made ppx_deriving derive serializers