Construction types implemented in Soimy