Intertype declarations: introduce constructor
Intertype constructor with extra String argument