Simplify redundancy in tweetnacl.h