WyC: deprecated the use of "+" to signal list/string append.