start refactoring the .ll printer: introduce a new TypePrinting class