<rules for type composition>