Basic Type Tracing Prototype for JS Code