Gravar-mail: Effective design principles for leakless strand displacement systems