Essays in structural proof theory