detect optimisable IndexNodes assignments in ref-count optimisation, but do not activate them for now

find common type for comparisons *before* coercing operands, to prevent inconsistent types and loosing type information

refactoring of exception raising code, simpler/faster/correcter code for reraising exceptions, separate implementation for Py3, minor fixes for error cases