Construction types implemented in Hat