Backend: Improve and compact variant representation
Printers: Fix printing of Binding and Let
Update examples