Added integration tests and fixed some issues around asymmetrical composite expressions with multiple derived types