Type errors: do not show base type in error messages

For example: expected ip-address (union)

Edited by Ladislav Lhotka