Construction types implemented in Bila