Constructed types should be printed in the vocabulary

[Bart Bogaerts]

(and also should not be printed in the structure, but this is probably already fixed)

[JoD]

I don't see the issue? Output seems reasonable:

structure S : V {
  T = { f }
}

vocabulary V {
  type T
  overloaded predicate </2
  overloaded predicate =/2
  overloaded predicate >/2
  T(T)
}

from input:

vocabulary V{
    type T constructed from {f}
}

structure S:V{}

procedure main(){
    print(S)
    print(V)
}

[Bart Bogaerts]

Parsing that output would result in a completely different vocabulary, we don't want that. I a vocabulary should print all info it contains