Construction types implemented in Haiove