fix numerous bugs reported by vrs & erlehmann; arith typechecks; list reading fixes; integer overflow; long long integers;