better types support, traceback support in json serialization and some bug fixes