[all] changed: better representation for some types