kevin conner interpreting symbols and types pdf