Construction types implemented in Beheta