Construction types implemented in Sekun