proto-syntax