Pantograph: A Fluid and Typed Structure Editor