Construction types implemented in Holovenky