Construction types implemented in Marivka