Fix type export

[fbiville]

There is a glitch with exported types:

• return types are fully qualified
• parameter types are simple and raw (no generics)

Instead, it should be simple raw names.
In the case of user-defined procedures, the record type should not be printed but all its fields' simple and raw types.

The generic information should be printed if and only if the exporter is configured to do so.