Construction types implemented in Mshana