Construction types implemented in Barashi