more accurate effects for times.nim; bugfix for the JS codegen