symbols and types