Construction types implemented in Prypruttia