DOcument the primitives used in Fernet