Fix remaining incomplete patterns involving MultiIf
Pretty-printing for promoted types
readExt: add explicit error msg for Symbols