some more AcePrinter tweaks

- hover annotations for EFold and EUnfold
- combining a couple SVarDecl cases
- printing ELets that are not inserted by tc