Add n_val and sloppy_quorum options to type specs