Construction types implemented in Nove