bug 7250: print(typeOf(1)::OutputForm) Value Stack Overflow

(1) -> typeOf(1)

   (1)  PositiveInteger
                                                                 Type: Domain
(2) -> typeOf(1)::OutputForm

   (2)  PositiveInteger()
                                                             Type: OutputForm
(3) -> print(typeOf(1)::OutputForm)

   >> System error:
   Value stack overflow.