Construction types implemented in Chekno