DynamicJava: Restored the following features: assignments to new variables treated as declarations; checking return types; checking thrown types; expressions of type void do not output a value. The solution for assignments and voids is a hack; in the future this should be fixed by modifying the parser to never produce top-leve Expressions. Also added a SymbolUtil.typeOfGeneralClass() method, and fixed a bug in which expression statements appearing in the body of a method caused an internal error.