make concretize-type usable during printing

Also fix a misleading error message (error occurs during printing, but shown occurring during generating)