Introduce constants and function symbols.