Sugar.plInferredType{"s"=>""}

Multiple types is a fossil of very early iterations before we locked into our new mode of type errors.
Removing the list also requires a different approach to hiding types. Will need to reimplement type hiding after we implement showing them again.