Construction types implemented in Hrun