User-interpreted types should be printed
Issue #938
new
http://dtai.cs.kuleuven.be/krr/idp-ide/?src=0fb8e2a3ffe7d7a72d735821ced553e3
In the current state, the printed vocabulary is not parsable