Improve error messages.
Use available contract if only one in ADType#undress
Ensure undressing towards Alias types work fine.