Gravar-mail: De novo proteins from designed combinatorial libraries