Construction types implemented in Hrushky