Replaced Text.Printf with extensible printf, and made comcommitant changes

Signed-off-by: Joachim Breitner <mail@joachim-breitner.de>
Update use of role annotations to new syntax.
Trailing whitespaces
Follow changes in comparison primops (see #6135)