put types back in inferno.py