Proto: types