Construction types implemented in Opaka