Construction types implemented in Mashcha