Interpreting The Symbols and Types 2 Revised & enlarged edition