Construction types implemented in Horkove