Construction types implemented in Onok