new symbols for a number of functions, operators and types