get rid of Sugar.plIsRedundantType and always showing types in red holes
ExprGuiM.plShowType
Lamdu.Sugar.RedundantTypes
show hole types and hole arg types