intervals not handled via the 'fully general' mechanism -- need mul-interval etc.