Ed25519 symbols completed. Debugging still to be done. Writing symbols of secretbox