Construction types implemented in Hoholeve