Syntactic optionality at interfaces