Construction types implemented in Halka