Construction types implemented in Manne