Full support for recognition of compound types