interpreting the symbols and types