Start adding type annotations to tracer